inverse image of every open set is open under continuous function